1. A modern perspective on type theory :
پدیدآورنده: by Fairouz Kamareddine, Twan Laan, and Rob Nederpelt.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Type theory.,MATHEMATICS-- Infinity.,MATHEMATICS-- Logic.,Type theory.,Type theory.,Typentheorie.
رده :
QA9
.
K225
2004
2. A modern perspective on type theory
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Type theory. ;
3. A modern perspective on type theory
پدیدآورنده: / by Fairouz Kamareddine, Twan Laan, and Rob Nederpelt
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Type theory.
رده :
QA9
,.
K225
,
2004
4. A transfinite type theory with type variables
پدیدآورنده: Andrews, Peter Bruce
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، Type theory
رده :
QA
9
.
A64
5. An introduction to mathematical logic and type theory :
پدیدآورنده: by Peter B. Andrews.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.,Type theory.
رده :
QA9
.
B974
2011
6. An introduction to mathematical logic and type theory: to truth through proof
پدیدآورنده: Andrews, P. B. )Peter Bruce(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Type theory
رده :
QA
9
.
A638
2002
7. An introduction to mathematical logic and type theory : to truth through proof
پدیدآورنده: Andrews, Peter Bruce
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Type theory
رده :
QA
9
.
A638
1986
8. An introduction to mathematical logic and type theory. to truth through proof
پدیدآورنده: Andrews, P. B.)Peter Bruce(,7391-, Peter B. Andrews
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: ، Logic, Symbolic and mathematical,، Type theory
رده :
QA
9
.
A638
9. An introduction to mathematical logic and type theory: to truth through proof
پدیدآورنده: Andrews, Peter Bruce
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Type theory
رده :
QA
9
.
A638
10. An introduction to mathematical logic & type theory:to truth
پدیدآورنده: ANDREWS,PETER BRUCE
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: LOGIC,SYMBOLIC & MATHEMATICAL , TYPE THEORY
رده :
QA
9
.
A638
11. Basic simple type theory
پدیدآورنده: Hindley,J.Roger
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع: ، programing languages)electronic computers(,، type theory
رده :
QA
76
.
7
.
H55
1996
12. Categorical logic and type theory
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Type theory. ; Categories (Mathematics) ;
13. Categorical logic and type theory
پدیدآورنده: Jacobs, Bart
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Type theory,، Categories )Mathematics(
رده :
QA
9
.
J22
14. Categorical logic and type theory
پدیدآورنده: / Bart Jacobs
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Type theory.,Categories (Mathematics)
رده :
QA9
,.
J27
,
1999
15. Derivation and computation: taking the Curry-Howard correspondence seriously
پدیدآورنده: Simmons, Harold
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Proof theory,، Lambda calculus,، Type theory,، Curry-Howard isomorphism
رده :
QA
9
.
54
.
S55
2000
16. Information and nowledge: a constructive type-theorical approach
پدیدآورنده: Primiero, Giuseppe
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Knowledge, Theory of,، Type theory of
رده :
BD
161
.
P766
2008
17. Intuitionistic type theory
پدیدآورنده: Martin-Lof, Per, 2491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Addresses, essays, lectures ، Type theory
رده :
QA
9
.
M329
18. Isomorphisms of types : from ]lambda[-calculus to information retrieval and language design
پدیدآورنده: Di Cosmo, Roberto, 3691-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Programming languages )Electronic computers(,، Type theory,، Human-computer interaction
رده :
QA
76
.
7
.
D48
19. Proofs and types
پدیدآورنده: / Jean-Yves Girard
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Proof theory,Logic, Symbolic and mathematical,Type theory
رده :
E-BOOK
20. Proofs and types
پدیدآورنده: Girard, Jean-Yves
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Proof theory,، Type theory,، Lambda calculus,، Combinatory logic
رده :
QA
9
.
54
.
G572
1989
